Search Results
SolSEE: A Source-Level Symbolic Execution Engine for Solidity
SolSEE: A Source-Level Symbolic Execution Engine for Solidity
Building an End-to-End EVM Symbolic Execution Engine in Solidity by Leo Alt | Devcon Bogotá
Symbolic execution by compilation with SymCC
FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
USENIX Security '15 - Under-Constrained Symbolic Execution: Correctness Checking for Real Code
How to find Solidity vulnerabilities
Finding Logic Bugs in Database Management Systems (Manuel Rigger, ETH SQLancer)
